Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
161	Polymorphic Functions with Set-Theoretic Types Ar tifact Introduction Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-10-31 06:48:56 Computer science Lambda calculus Type inference Hindley–Milner Type system Unification Symbol System F ALGOL 68 Type theory Programming language theory Theoretical computer science
162	Typing Example: Number Typing Example: Sum { } 5 : int Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Type theory Data types Type systems Functional languages Program analysis Type inference ATS Infinite loop ALGOL 68 Software engineering Programming language theory Computer programming
163	Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:00:24 Type theory Formal methods Type systems Constraint programming Satisfiability Modulo Theories Type inference Logic programming Hindley–Milner Algorithm Mathematics Theoretical computer science Applied mathematics
164	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:43 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
165	Under consideration for publication in J. Functional Programming 1 Finally Tagless, Partially Evaluated Tagless Staged Interpreters for Simpler Typed Languages Add to Reading List Source URL: okmij.org Language: English - Date: 2011-07-01 22:41:16 Type theory Data types Functional languages Functional programming Procedural programming languages Generalized algebraic data type Type system OCaml Type inference Software engineering Programming language theory Computing
166	Type inference in the multirate audio DSP language Faust Pierre Beauguitte Centre de recherche en informatique - MINES ParisTech SYNCHRON 2012 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-01-30 08:47:42 FAUST Type system Inference Vector space Type inference Algebra Mathematics Type theory
167	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:56:08 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
168	Dynamic Inference of Static Types for Ruby † Jong-hoon (David) An† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-11-10 09:03:55 Program analysis Type system Type theory Function Objective-C Mathematical optimization Closure Software engineering Computing Computer programming
169	Temporal Boolean Network Models of Genetic Networks and Their Inference from Gene Expression Time Series Adrian Silvescu and Vasant Honavar Articial Intelligence Research Laboratory Department of Computer Science and Gr Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2000-12-04 18:40:44 Gene expression Networks Systems biology Gene regulatory network Boolean network Boolean function Gene Boolean data type Biology Boolean algebra Molecular biology
170	Package ‘usl’ February 20, 2015 Type Package Title Analyze System Scalability with the Universal Scalability Law VersionDate Add to Reading List Source URL: cran.r-project.org Language: English Neil J. Gunther Data analysis Scalability Confidence interval Regression analysis Parameter Subroutine Bootstrapping Statistics Statistical inference Econometrics

UPDATE